void ex3_2();
